﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;

namespace Benchmarks
{
    [PexClass(typeof(DepthFirstTest))]
    [SearchFrontierDepthFirst]
    public partial class DepthFirstTest
    {
        [PexMethod]
        public void Test(int i,int j) {
            if (i > 5)
            {
                Console.WriteLine("i > 5");
            }
            else
            {
                Console.WriteLine("i <=5 ");
            }

            if (j > 5)
            {
                Console.WriteLine("j > 5");
            }
            else
            {
                Console.WriteLine("j <=5 ");
            }
            PexObserve.ValueForViewing("pc: ", PexSymbolicValue.GetPathConditionString());
        }
    }
}
